Preface to the Third International Workshop on Bidirectional Transformations

Bourdieu and Genette in Paratext: How Sociology Counts in Linguistic Reasoning

While Bourdieu’s theory of practice provides an ensemble of conceptual tools which analyze patterns of social life that are irreducible to the limiting view of individuals as free-acting agents, Genette’s paratextual theory offers the metalanguage necessary to account for the microcosm of paratext as a linguistic space. This study takes issue with unidirectional approaches to researching parate...

Report on the Third Workshop on Verification of Model Transformations (VOLT 2014)

This report is a summary of the Third International Workshop on the Verification Of modeL Transformation (VOLT 2014) held at the STAF 2014 conference. The workshop brought together researchers from model-driven engineering, in particular from model transformation language engineering and modelbased verification. The major aims of VOLT 2014 were to identify motivations, problems, and requirement...

HOR 2012 6th International Workshop on Higher-Order Rewriting

The aim of HOR is to provide an informal forum to discuss all aspects of higher-order rewriting. The topics of the workshop include applications, foundations, frameworks, implementations , and semantics. HOR is a biannual meeting. The present volume provides final versions of six accepted contributed extended abstracts of talks selected for the workshop. HOR 2012 had also a tool session. The fo...

Bidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal)

In recent years in the bx literature, attention has turned to incor-porating intensional information about edits (based on monoid ac-tions [HPW12,AU14, for example]), or more generally, deltas (based oncategories [DXC11a, DXC11b]), describing model updates. This talksketches a dependently-typed approach to consistency maintenance,à la Meertens/Stevens [Mee98, Ste10], buildin...

2nd International Workshop on Mining Urban Data (Preface)